index($L$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mu($\lambda$$i$.eqof(${\it dT}$)($x$,$L$[$i$]))